Identifying dependability requirements for space software systems
نویسندگان
چکیده
منابع مشابه
Building dependability arguments for software intensive systems
A method is introduced for structuring and guiding the development of end-to-end dependability arguments. The goal is to establish high-level requirements of complex software-intensive systems, especially properties that cross-cut normal functional decomposition. The resulting argument documents and validates the justification of system-level claims by tracing them down to component-level subst...
متن کاملIdentifying Testing Requirements for Modified Software
To my family, for their unconditional love and support iii ACKNOWLEDGEMENTS The six years that I spent at Georgia Tech in Atlanta working on my PhD is the time I shall cherish. When I first came to Atlanta to pursue my degree, my aspiration was to learn how to do research. Now that I have fulfilled this aspiration, I can see how this special experience and my interactions with many exciting and...
متن کاملEngineering Dependability Requirements for Software-intensive Systems through the Definition of a Common Language
Engineering dependability requirements for software-intensive systems is inherently difficult. Dependability of these systems relies heavily on the emergent properties that result from the complex interdependencies that exist among the involved systems and their environments. Furthermore, the choice of a modeling technique significantly affects the semantics and the level of abstraction at whic...
متن کاملSoftware Requirements for Architectured Systems
Recently, increased attention has been paid to how to establish and strengthen the relationships between requirements and architectural design. In particular, how the process must encompass changes to requirements over time and their effects upon a system's architecture. This paper sketches our work-in-progress in this field, which we concern about a methodology to guide the architecture develo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Aerospace Technology and Management
سال: 2010
ISSN: 2175-9146
DOI: 10.5028/jatm.2010.02037810